V($i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase($k$; $a$.(($w$.2).1)($i$,$a$); $l$,${\it tg}$.(($w$.2.2).1)($l$,${\it tg}$) )